Register Transfer Level Simulation Acceleration via Process Migration

نویسندگان

  • Aric David Blumer
  • Peter Athanas
  • Robert Broadwater
  • Mark Jones
  • Hanspeter Schaub
  • Aric D. Blumer
چکیده

In this paper we see an approach to hardware acceleration of register transfer level simulations that utilizes Virtual Machines (VMs) and Real Machines (RMs), each executing the same instruction set. Hardware Description Language code for digital designs can lend itself well to parallel execution, and we leverage that property by executing as many processes as possible in RMs in parallel. Since simulation characteristics often change as simulations progress, we need the ability to migrate idle processes out of hardware and busy ones into it. The migration of state from one to the other will utilize run-time reconfiguration of a field-programmable gate array, and in order to maximize the number of RMs in the device, each can be reconfigured to support only the instructions its process requires.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Register Transfer Level Simulation Acceleration via Hardware/Software Process Migration

The run-time reconfiguration of Field Programmable Gate Arrays (FPGAs) opens new avenues to hardware reuse. Through the use of process migration between hardware and software, an FPGA provides a parallel execution cache. Busy processes can be migrated into hardware-based, parallel processors, and idle processes can be migrated out increasing the utilization of the hardware. The application of h...

متن کامل

Exploiting Process Locality of Reference in RTL Simulation Acceleration

With the increased size and complexity of digital designs, the time required to simulate them has also increased. Traditional simulation accelerators utilize FPGAs in a static configuration, but this paper presents an analysis of six register transfer level (RTL) code bases showing that only a subset of the simulation processes is executing at any given time, a quality called executive locality...

متن کامل

Design and Modeling of Specialized Architectures

Hardware acceleration in the form of customized datapath and control circuitry tuned to specific applications has gained popularity for its promise to utilize transistors more efficiently. However, architectural research in the area of specialization architectures is still in its preliminary stages. A major obstacle for such research has been the lack of an architecture-level infrastructure tha...

متن کامل

Algorithm for Vectorizing Logic Simulation and Evaluation of "VELVET" Performance

A very large-scale logic simulation engine "VELVET" has been developed VELVET is a vectorized event-driven simulator which can handle simultaneously both gate-level logic and Register-Transfer Level structure. VELVET can process simulation jobs two orders of magnitude faster than a conventional gate-level simulator. This paper describes how to realize such high performance, an algoritha for vec...

متن کامل

Formal Veri cation of a PowerPC Microprocessor

This paper presents the use of formal methods in the design of a PowerPC microprocessor. The chosen methodology employs two independently developed design views, a register-transfer level speci cation for e cient system simulation and a transistorlevel implementation geared toward maximal processor performance. A BDD-based veri cation tool is used to functionally compare the two views which ess...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006